type T = {+...O}
